Linear Formulations for Topology-Variable-Based Distribution System Reliability Assessment Considering Switching Interruptions | IEEE Journals & Magazine | IEEE Xplore